基于PETRI网的防空指控系统的建模及分析

防空导弹武器指控系统是一个分布式实时多任务数据处理系统,其特点是实时性、并发、异步和多任务。PETR I网是一种描述和分析异步并发现象的一种有效的模型工具。以PETR I网为工具,建立了防空导弹武器指控系统模型,并对其结构性能、任务的忙闲程度、死锁进行了定性分析,然后实现了模型和程序结构的自动转换。从一个新的角度对防空导弹武器指控系统进行了分析和评价,实践证明这种方法是可行的。     

基于赋时Petri网的自动测试系统建模

提出了利用赋时Petri网(Tim ed Petri Net)对自动测试系统建模和性能分析的方法。采用启发式算法,对系统的可达树进行搜索,实现测试序列的优化,不仅降低了计算的复杂度,而且获得了满意的并行度,提高了自动测试系统的测试效率。     

基于GSPN的编队网络化防空指挥流程研究

为了提高编队指挥员在信息化海战中的作战指挥效率和应变能力,利用广义随机Petri网与马尔可夫链的等价关系,得到一种Petri网与马尔可夫链理论相结合的指挥流程时间性能分析的新方法,通过对模型进行分析与求解,得出了舰艇编队网络化防空作战指挥流程活动的准确作战周期,从而为指挥流程的优化提供有力的支撑,对评估系统效能水平也具有重要指导意义。     

陆战Agent自主协作机制模型研究

陆战Agent是陆军作战复杂系统ABMS核心的基础要素,友方陆战Agent之间的协作机制是陆军作战复杂系统演化运行的关键支撑之一。陆战Agent之间的协作可归纳为自主协作和上级统一组织协作两种模式。陆战Agent之间的自主协作,与一般Agent系统中的协作模式相同,但由于陆军作战的特殊性,必须研究符合作战特点的陆战Agent自主协作机制。针对陆战Agent自主协作特点,对合同网协议进行了改进,探讨了陆战Agent自主协作机制模型的功能结构、框架、策略、流程和实施步骤,为陆军作战复杂系统的ABMS奠定了基础。     

基于Petri网的装备维修保障指挥过程建模与性能优化分析

Petri网是一种非形式化的建模方法,具有严格的定义和强大的数学分析能力,适合对同步、并发、资源共享的系统建模。利用Petri网对战术装备维修保障指挥过程进行建模,可以快速准确的描述保障指挥的流程,进而可对指挥过程进行分析,找出影响系统效率的环节加以改造和优化。本文通过对保障指挥过程的分析,建立了基于Petri网的维修保障指挥过程模型,并依据模型进行合理化简,根据假设的实例数据对比分析了现有和简化后的指挥过程的平均延迟时间,从而为战术装备维修保障指挥过程的优化提供依据。     

云模型和混合Petri网相结合的系统可靠性评价

针对复杂系统可靠性评价中工作环境可变的情形,提出基于云模型和混合Petri网相结合的可靠性评价方法。首先采用云模型描述系统的环境适应能力指数,并将其作为混合Petri模型中连续库所的托肯值来控制该模型中变迁的变迁率,然后采用基于Petri网的蒙特卡罗方法对不同环境下的系统可靠性进行仿真求解,得到系统在不同时刻下的失效率。最后以一个C4ISR系统为例,验证了该方法在解决可变工作环境下的系统可靠性评估是可行的。     

改进合同网协议的Agent动态任务分配

针对导弹作战任务规划中的动态任务分配问题,研究了MAS框架下任务分配的形式化描述和数学模型,对动态任务分配的特点进行了分析,运用合同网理论,提出了基于改进合同网协议的Agent动态任务分配算法,实现了对不确定开放环境中动态变化的任务分配方法。算例表明算法是有效的。     

基于灰色模糊综合评价的网络作战能力评估

根据网络作战力量的组成和作战技术特点,深入分析影响网络作战能力的主要因素,科学构建网络作战能力评估指标体系,采用AHP/熵值法确定指标权重,运用灰色模糊综合评判法,构建实用管用的网络作战能力评估模型,有效解决网络作战力量的作战能力评估动态性、模糊性问题。     

基于图熵法的战场抢救抢修方案复杂性量化模型

从战场抢救抢修注重时效的特点出发,提出了战场抢救抢修作业复杂性概念,分析了影响抢救抢修作业复杂性的因素．引入软件工程领域的图熵模型,从微观方面研究战场抢救抢修方案实施过程中的复杂性问题．将抢救抢修方案划分为3个层次,利用petri网对操作过程进行建模,并从中提取信息结构图和动作结构图．以作业的量化为基础,给出了方案的综合量化方法．实例证明该方法可以很好的反映抢救抢修方案的可操作性．     

一个分布式并行设计集成框架系统的研究与开发

复杂产品的设计日益复杂 ,推向市场的时间日益缩短 ,并行设计技术得到广泛应用。文中实现了一个支持复杂产品多领域并行设计的集成框架YC bridge。该集成框架的开发采用符合CORBA规范的Client/Server中间件 ,实现了基于设计体模型的设计数据管理、基于语义模型的工具封装和基于扩展网络图模型的设计过程管理。YC bridge已在实际设计工作中得到较好的应用